Switch to: References

Add citations

You must login to add citations.
  1. Theorem proving in artificial neural networks: new frontiers in mathematical AI.Markus Pantsar - 2024 - European Journal for Philosophy of Science 14 (1):1-22.
    Computer assisted theorem proving is an increasingly important part of mathematical methodology, as well as a long-standing topic in artificial intelligence (AI) research. However, the current generation of theorem proving software have limited functioning in terms of providing new proofs. Importantly, they are not able to discriminate interesting theorems and proofs from trivial ones. In order for computers to develop further in theorem proving, there would need to be a radical change in how the software functions. Recently, machine learning results (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Human-Machine Interactions: Aligning, Adapting, Being an Agent.Anna Laktionova - 2024 - Filosofska Dumka (Philosophical Thought) 4:130-142.
    In the paper, the touchstone points of the project “Towards an agency-based philosophy of (advanced) technology” are outlined. The main plot of this elaboration concerns human-machine interactions and appropriate interpretation of reciprocal aligning, adapting within involved into such interactions agents; as well as the status as such of being an agent. Into the theoretical and historical background of the project such spheres as Philosophy of Science, Philosophy of Technology, Philosophy of Engineering and Design Technological Actions, STS (Science and Technology Studies), (...)
    Download  
     
    Export citation  
     
    Bookmark